<html>
<body>
<p>
Pseudo-command used to redirect an input source into a command or command chain.
</p>
</body>
</html>